J. Brotherston; 2006; "Sequent Calculus Proof Systems for Inductive Definitions"